A State-Based Characterisation of the Conflict Preorder
نویسندگان
چکیده
منابع مشابه
A State-Based Characterisation of the Conflict Preorder
This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if they can get trapped in a situation where they are both waiting or running endlessly, forever unable to complete their common task. The conflict preorder is a process-algebraic pre-congruence that compares two proce...
متن کاملHierarchical interface-based supervisory control using the conflict preorder
Hierarchical Interface-Based Supervisory Control decomposes a large discrete event system into subsystems linked to each other by interfaces, facilitating the design of complex systems and the re-use of components. By ensuring that each subsystem satisfies its interface consistency conditions locally, it can be ensured that the complete system is controllable and nonblocking. The interface cons...
متن کاملa corpus-based study of the frequency of personal pronouns in translated and comparable non-translated persian texts
چکیده ندارد.
15 صفحه اولa gender-based pragmatic analysis of the use of english compliment responses by iraqi efl students:a speech act perspective
تعارفات کنش های گفتاری هستند که افراد در زندگی روزمر? خود به منظور برقراری دوستی یا تداوم روابط مسالمت آمیز به کار می برند. ساز و کار تعارف مختص زبان انگلیسی یا هر زبان دیگری نیست و پدیده ای است جهانی و در همه زبانها حضور دارد. تفاوتی که از این نظر در زبانها و فرهنگ ها وجود دارد مربوط به پاسخ به این کنش گفتاری در گفتمان است. این مطالعه به بررسی تنوع پاسخ های انگلیسی و عربی به کنش گفتاری تعارف د...
the effectiveness of strategy-based instruction in teaching english as a second or foreign language: a meta-analysis of experimental studies
a large number of single research studies on the effects of strategy-based instruction (sbi) in teaching english as a foreign or second language has been conducted so far. however, the lack of a comprehensive meta-analysis targeting the effectiveness of english language sbi is observed. moreover, the findings of experimental studies regarding the context of the english language, proficiency lev...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.58.3